package typechecker;

public class TypeCheckingException extends RuntimeException{
	private static final long serialVersionUID = 5502409082527558498L;
	private boolean ntConstraint = false;
	
	public TypeCheckingException(String msg) {
		super(msg);
	}
	
	public TypeCheckingException(String msg, boolean ntConstraint) {
		super(msg);
		this.ntConstraint = ntConstraint;
	}
	
	public boolean isNtConstraint() {
		return ntConstraint;
	}
}
